प्रकथन $-1$ : $\sim(p \leftrightarrow \sim q)$ और $p \leftrightarrow q$ तुल्यमान (equivalent) हैं।
प्रकथन $-2$ $: \sim(p \leftrightarrow \sim q)$ एक पुनरूक्ति (tautology) है।
प्रकथन $-1$ सत्य है, प्रकथन $-2$ सत्य है; प्रकथन $-2$, प्रकथन $- 1$ की सही व्याख्या है।
प्रकथन $-1$ सत्य है, प्रकथन $-2$ सत्य है; प्रकथन $-2$, प्रकथन $-1$ की सही व्याख्या नहीं है ।
प्रकथन $-1$ मिथ्या है, प्रकथन $-2$ सत्य है।
प्रकथन $-1$ सत्य है, प्रकथन $-2$ मिथ्या है।
यदि $p, q, r$ सामान्य कथन है, तब $(p \wedge q) \wedge (q \wedge r)$ सत्य है, तब
कथन
$((\mathrm{A} \wedge(\mathrm{B} \vee \mathrm{C})) \Rightarrow(\mathrm{A} \vee \mathrm{B})) \Rightarrow \mathrm{A}$ का निषेधन
कथन $( p \wedge( p \rightarrow q ) \wedge( q \rightarrow r )) \rightarrow r :$
कथन $\sim p \wedge( p \vee q )$ का निषेध है :
कथन $( p \wedge q ) \Rightarrow( p \wedge r )$ किस के तुल्य है ?